BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types?

Source URL: www.brics.dk

• Higher-order functions
• Functional programming
• Lambda calculus
• Type theory
• Map
• Haskell
• AS3
• Type system
• Generic programming
• Computing
• Software engineering
• Declarative programming

Sprue Challenge Finalists I would like to start off by saying that it is an honor to be judging this contest and that I am going to do my best to delve deep into all of these fine looking games. I will first be narrowin

Source URL: dl.dropboxusercontent.com

• Cons
• Functional programming
• Lisp programming language
• Declarative programming
• Computer programming
• Software engineering

A Constraint Extension to Scalable Vector Graphics Greg J. Badros Will Portnoy Jeff Nichols Alan Borning {badros,will,jwnichls,borning}@cs.washington.edu Dept. of Computer Science and Engineering University of Washington

Source URL: www.badros.com

• Cassowary
• Scalable Vector Graphics
• SVG animation
• Constraint satisfaction
• Cascading Style Sheets
• Document Type Definition
• Declarative programming
• HTML
• SVG Working Group
• Computing
• Web standards
• Markup languages

Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary

Source URL: www.cs.waikato.ac.nz

• Programming paradigms
• Query languages
• Deduction
• Database
• Relational model
• Entailment
• Modal logic
• SQL
• Knowledge representation and reasoning
• Logic
• Database management systems
• Philosophical logic

Declarative Array Programming with Single Assignment C (SAC) Language Design and Compiler Technology Clemens Grelck

Source URL: hiperfit.dk

2013 IEEE Symposium on Security and Privacy Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡

Source URL: www.ieee-security.org

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Source URL: okmij.org

• Functional programming
• Data types
• Type theory
• Higher-order functions
• Adjoint functors
• Monad
• Pattern matching
• Type system
• List
• Software engineering
• Declarative programming
• Computing

Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

Source URL: www.cs.berkeley.edu

• Declarative programming
• Satisfiability Modulo Theories
• Type system
• Prolog
• Symbolic execution
• Linear programming
• Theoretical computer science
• Software engineering
• Constraint programming

2013 IEEE Symposium on Security and Privacy Declarative, Temporal, and Practical Programming with Capabilities William R. Harris∗ , Somesh Jha∗ , Thomas Reps∗† , Jonathan Anderson‡ , and Robert N. M. Watson‡

Source URL: ieee-security.org

• Text mode
• Wget
• Capability-based security
• Capsicum
• Process
• Programming language
• Computer program
• Computer security
• Algorithm
• Software
• Computing
• Portable software

Automated Planning for Configuration Changes Herry Paul Anderson Gerhard Wickler LISA Conference, December 2011

Source URL: static.usenix.org

• Software
• Programming paradigms
• System administration
• Multi-agent systems
• Puppet
• Declarative programming
• CFEngine
• E
• Database
• Information technology management
• Configuration management
• Computing